------------------------------------------------------------------------------
*                                                                            *
*  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
*                                                                            *
------------------------------------------------------------------------------

Giorno: 10-10-1993

Funzione: ä8  (10,11,12,13,14,15,16,17,18,19,20,40,41,42,43,44,45,46,47,48,49,
               50,70,71,72,73,74,75,76,77,78,79,80,100,101,102,103,104,105,
               106,107,108,109,110,130,131,132,133,134,135,136,137,138,139,
               140,160,161,162,163,164,165,166,167,168,169,170,190,191,192,
               193,194,195,196,197,198,199,200,220,221,222,223,224,225,226,
               227,228,229,230)

Numero di variabili: 8
Numero di mintermini: 88
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Tempo totale di elaborazione: 0:4:8

--------------------------
*         FASE A         *
--------------------------
Tempo di elaborazione: 0:0:0
Numero implicanti primi: 66

Implicanti primi determinati: 
	ABCdEGH
	ACdEFGH
	BCDefGH
	bCDeFGH
	aBCDfGH
	aBCDeGH
	aCDeFGH
	abCDFGH
	aBcdefg
	ABCdEF
	ABdEFG
	ABdEFH
	BCDeFg
	BDeFgH
	BcDeFG
	BcDeFH
	aBCDFg
	aBDFgH
	aBCDeF
	aBDeFG
	aBDeFH
	aBcDFG
	aBcDFH
	AbCDfg
	AbDEfg
	bCDEfg
	AbDfgH
	bDEfgH
	AbcDEf
	AbcDfG
	bcDEfG
	AbcDfH
	bcDEfH
	abCdef
	ABDef
	ADefG
	ADefH
	ACDef
	ACDeg
	ADegH
	ABDeg
	ADeFg
	AcDeG
	AcDeH
	ABcDe
	AcDeF
	AbCDe
	AbDeF
	AbDeG
	AbDeH
	aBDEg
	aCDEg
	aDEFg
	aDEgH
	aBDEf
	aCDEf
	aDEfG
	aDEfH
	aBcDE
	acDEF
	acDEG
	acDEH
	abCDE
	abDEF
	abDEG
	abDEH

--------------------------
*         FASE B         *
--------------------------
Quine II dx
Tempo di elaborazione: 0:4:8
Numero di forme prime paragonate: 10000
Numero di tabelle cicliche esaminate: 14495
Numero di implicanti soluzione: 23

SOLUZIONE (forma minima): 
ABCdEGH + ACdEFGH + aBcdefg + ABCdEF + ABdEFG + ABdEFH + abCdef + aBCDeGH +
abCDFGH + aBCDeF + aBcDFG + aBDFgH + bCDEfg + AbcDEf + ACDef + ADeFg + ABcDe +
AbDeG + AbDeH + aDEFg + aBDEf + abDEG + abDEH